АВТОМАТИЗАЦИЯ ПОСТРОЕНИЯ СРЕДСТВ ДИАГНОСТИРОВАНИЯ ДЛЯ ПОТОКОВОЙ ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИ
Аннотация:
Предмет исследования. Рассмотрены вопросы проектирования средств диагностирования нарушений в адресации информационных обменов между программными модулями для потоковой вычислительной системы реального времени. Несмотря на декомпозицию процесса проектирования на основе иерархического подхода, он остается достаточно сложным, а значит, остается актуальной и проблема его автоматизации. Метод. Проблема автоматизации построения модели и тестов для потоковой вычислительной системы реального времени решается на основе декомпозиции и с привлечением дискретно-событийного моделирования. Основные результаты. Разработана инструментальная среда, автоматизирующая процедуру построения модели, генерации тестовых воздействий и эталонных выходных последовательностей. Приведено ее краткое описание. В основу функционала среды положены алгоритмы синтеза динамической модели системы и формирования теста для диагностирования нарушений обменов между программными модулями системы. Практическая значимость. Разработанная инструментальная среда позволяет существенно сокращать время проектирования средств диагностирования для потоковых вычислительных систем реального времени.
Ключевые слова:
Постоянный URL
Статьи в номере
- ПРИМЕНЕНИЕ РАДИОФОТОНИКИ В ВОЛОКОННО-ОПТИЧЕСКИХ ИЗМЕРИТЕЛЬНЫХ ПРИБОРАХ
- ОПТИКО-ЭЛЕКТРОННЫЙ КОМПЛЕКС ДЕТАЛЬНОГО НАБЛЮДЕНИЯ
- ТЕОРЕТИЧЕСКАЯ МОДЕЛЬ ИЗМЕНЕНИЯ ЦВЕТА РЕДУКТАЗНОЙ ПРОБЫ С РЕЗАЗУРИНОМ КАК ОСНОВА КОНТРОЛЯ КАЧЕСТВА МОЛОКА В ПРОЦЕССЕ ЕГО ХРАНЕНИЯ
- ЮСТИРОВКА ПЕРЕДАЮЩЕГО КАНАЛА ЛАЗЕРНОЙ ЛОКАЦИОННОЙ СИСТЕМЫ
- МЕТОД ВЫЧИСЛЕНИЯ ЭНЕРГОЭФФЕКТИВНОСТИ ГАЗОРАЗРЯДНЫХ ИМПУЛЬСНЫХ ЛАМП
- ИССЛЕДОВАНИЕ ВЛИЯНИЯ РЕЖИМОВ 3D-ПЕЧАТИ КЕРАМИКОЙ И СИНТЕРИЗАЦИИ НА ПРОЦЕСС УСАДКИ ТОНКОСТЕННЫХ ДЕТАЛЕЙ
- ИССЛЕДОВАНИЕ ЭНЕРГЕТИЧЕСКИХ ХАРАКТЕРИСТИК УГЛЕРОДОСОДЕРЖАЩЕГО КОМПОЗИТНОГО МАТЕРИАЛА ТЕПЛОЭЛЕКТРОНАКОПИТЕЛЯ
- МЕТОДИКА ДИФФЕРЕНЦИРОВАННОГО НАРАЩИВАНИЯ ЕМКОСТИ СИСТЕМЫ ХРАНЕНИЯ ДАННЫХ С МНОГОУРОВНЕВОЙ СТРУКТУРОЙ
- БЫСТРЫЙ АЛГОРИТМ ВНУТРИКАДРОВОГО КОДИРОВАНИЯ ДЛЯ HEVC НА ОСНОВЕ ВЕРОЯТНОСТИ ВЫБОРА РЕЖИМА
- АНАЛИЗ ПЕРСПЕКТИВНОГО РАЗВИТИЯ ЭНЕРГЕТИЧЕСКИХ СИСТЕМ В УСЛОВИЯХ ЦИФРОВОЙ ТРАНСФОРМАЦИИ РОССИЙСКОЙ ЭКОНОМИКИ
- ПОДХОД К ВЕРИФИКАЦИИ АЛЛОКАТОРОВ ДИНАМИЧЕСКОЙ ПАМЯТИ, ОСНОВАННЫЙ НА СИМВОЛЬНОМ ВЫПОЛНЕНИИ ПРОГРАММ
- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ РАЗНИЦЫ УГЛОВ НАПРАВЛЕНИЯ ЗУБЬЕВ В ЗОНЕ ЗАЦЕПЛЕНИЯ И ПОЛНОТА КОНТАКТА В ЗУБЧАТЫХ ПЕРЕДАЧАХ
- ПРОГНОЗИРОВАНИЕ РЕАКЦИИ ПОЛЬЗОВАТЕЛЕЙ В СОЦИАЛЬНЫХ СЕТЯХ МЕТОДАМИ МАШИННОГО ОБУЧЕНИЯ
- МОДЕЛИРОВАНИЕ ПЕРЕХОДНЫХ ПРОЦЕССОВ В СИЛОВЫХ ПРЕОБРАЗОВАТЕЛЯХ, ПИТАЮЩИХСЯ ОТ ОБЩЕГО ЗВЕНА ПОСТОЯННОГО ТОКА
- МЕТОДИКА ОПТИМИЗАЦИИ УСТРОЙСТВА НАКОПЛЕНИЯ ЭНЕРГИИ В ПЕРИФЕРИЙНОМ СТЫКОВОЧНОМ АГРЕГАТЕ
- ОСРЕДНЕНИЕ УРАВНЕНИЙ ДВИЖЕНИЯ В ПОТЕНЦИАЛЬНЫХ АВТОНОМНЫХ СИСТЕМАХ
- СРАВНИТЕЛЬНЫЙ АНАЛИЗ ПРОСТРАНСТВЕННЫХ ХАРАКТЕРИСТИК ДВУХЭЛЕМЕНТНЫХ МИКРОФОННЫХ РЕШЕТОК
- МОДЕЛИРОВАНИЕ СОСТОЯНИЯ ПОВЕРХНОСТИ МЕМБРАНЫ ПРИ ТОЧЕЧНОМ ВОЗДЕЙСТВИИ
- ПАМЯТИ ЮРИЯ ГРИГОРЬЕВИЧА ЯКУШЕНКОВА